$\forall$$g$:IMonoid, $b$:$\mathbb{B}$, $p$:$\mid$$g$$\mid$. (when $b$. $p$) $\in$ $\mid$$g$$\mid$